Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
The following researchers have visited Focus for short periods; we list them together with the title of the talk they have given during their stay, or the topic discussed during their stay.
-
Luca Padovani (Turin) "Deadlock and lock freedom in the linear pi-calculus".
-
Jean-Bernard Stefani (Inria Grenoble), "Strong isolation in actor systems".
-
Mauro Caporuscio (Milan): "Prime: A middleware support for fluid distributed systems".
-
Marco Carbone (Copenhagen): "Behavioural types for adaptable service composition".
-
Sandro Etalle (Eindhoven), "Signature-Less Network Intrusion Detection: from the research table to the production environments."
-
Wolf Zimmermann (Halle, Germany), "Automatic Protocol Conformance Checking in Component-Based and Service-Oriented Systems."
-
Lars Kotthoff (Cork, Ireland), "Towards an algorithm selection standard: data format and tools."
-
Herbert Wiklicky (London), "Quantitative Aspects in Program Synthesis."
-
Naoki Kobayashi (Tokyo), "Model checking higher-order programs".
-
Benoit Valiron and Claudia Faggian (Paris), "Geometry of Synchronization"
Internships
Raphaelle Crubille, from ENS Lyon, has begun a stage in Focus during 2014, under the supervision of Ugo Dal Lago.